/*
EJ3 : Retorna una copia de una string en otra string
*/

#include <stdio.h>

extern void copiar(char*,char*);

int main(int argc, char *argv) {
	
	char a[10] = "123456789";
	char b[10]; 
	a[9]=0;		//agrega un 0 despues del 9

	copiar(b,a);

	printf("%s",b);

	return 0;
}


